FUNCTIONAL TRAINEE PROGRAM SUSTAINABILITY ADIDAS GROUP – HERZOGENAURACH, GERMANY Being a sustainable business is about striking the balance between shareholder expectations and the needs and concerns of our employees,

Source URL: medien2.ifs.sozialwissenschaften.uni-tuebingen.de

INTEGRATION AND OPTIMIZATION OF MULTIVARIATE POLYNOMIALS BY RESTRICTION ONTO A RANDOM SUBSPACE Alexander Barvinok February 2005

Source URL: www.math.lsa.umich.edu

• Polynomials
• Fourier analysis
• Group theory
• Vector space
• Vectors
• Holomorphic functional calculus
• Hermite polynomials

A Method for Making Group Inferences Using Independent Component Analysis of Functional MRI Data: Exploring the Visual System V Calhoun , T Adali , G Pearlson , J Pekar Division of Psychiatry Neuro-Imaging, Johns Hopkins

Source URL: www.nrc-iol.org

Delegate: Showcase 2/3 years old F# Codebase @ ProsaF#unctional Copenhageners Meetup Group (MF#K)

Source URL: files.meetup.com

• Computer programming
• Software engineering
• Declarative programming
• Functional programming
• Monad
• F Sharp
• Function

Aptamer Arrays for Biological Studies and Sensing Yi Lu, University of Illinois at Urbana-Champaign In collaboration with John Rogers’ group, we have developed functional protein microarrays using the electrohydrodynam

Source URL: nano-cemms.illinois.edu

Lazy Memo-functions John Hughes Programming Methodology Group Department of Computer Science Chalmers University of Technology SG~teborg, Sweden

Source URL: www.cse.chalmers.se

• Software engineering
• Computer programming
• Declarative programming
• Lambda calculus
• Functional programming
• Functional languages
• Subroutines
• Theoretical computer science
• Eval
• Lazy evaluation
• Lisp
• Anonymous function

Verification of Hybrid Systems in Coq H. Geuvers, A. Koprowski, D. Synek, E. van der Weegen BRICKS AFM4 Advancing the Real use of Proof Assistants Foundations group, Intelligent Systems, ICIS Radboud University Nijmegen

Source URL: www.cs.ru.nl

• Functional languages
• Type theory
• Automated theorem proving
• Hybrid automaton
• Numerical analysis
• Proof assistant
• Coq
• Verification
• OCaml
• Model checking
• Discretization

Hash Kernels & Linear Models Vector Space Model for Text f (x) = hw, xi + b = i

Source URL: www.mlss2014.com

• Algebra
• Mathematics
• Computing
• Functional analysis
• Linear algebra
• Kernel
• Matrices
• Numerical linear algebra
• Email spam
• Group representation
• Spamming

Extensible Framework for Standards in Functional Genomics Angel Pizarro1 , Andrew Jones2 , Paul Spellman3 , Michael Miller4 , Patricia Whetzel5 and the FuGE working group December 21, 2005 1

Source URL: fuge.sourceforge.net

Earthworms as naive engineer; their functional role and susceptibility to environmental disturbance Nobuhiro Kaneko, Tomoko Uchida, Masamichi T. Ito, Robert J. Blakemore Soil Ecology Research Group, Graduate School of En

Source URL: diwpa.ecology.kyoto-u.ac.jp